- дизъюнкт-ответ
- answering clause мат.
Русско-английский научно-технический словарь Масловского. 2015.
дизъюнкт-ответ
Look at other dictionaries:
DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… … Википедия
